- 1 - Concurrency Annotations for Reusable Concurrent Software
نویسنده
چکیده
Concurrency annotations are inserted into otherwise sequential object-oriented code, inducing a concurrent semantics that is very close to the original sequential semantics. This facilitates integrated engineering of sequential and concurrent software, in particular reuse of code across the boundary between concurrency and sequentiality. Concurrency annotations also blend well with inheritance, giving an additional boost to reusability . The annotations approach to reusable concurrent software is presented using Eiffel as the sequential base for a concurrent language called CEiffel. Thus: Eiffel + annotations = CEiffel.
منابع مشابه
Integration of Concurrency Control in a Language with Subtyping and Subclassing
This paper describes the integration of concurrency control in BALLOON, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface specifications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and ...
متن کاملIntegration of Concurrency Control in a Language with
This paper describes the integration of concurrency control in Balloon, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface speciications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and c...
متن کاملA Design Strategy for Deadlock-Free Concurrent Systems
When building concurrent systems, it would be useful to have a collection of reusable processes to perform standard tasks. However, without knowing certain details of the inner workings of these components, one can never be sure that they will not cause deadlock when connected to some particular network. Here we describe a hierarchical method for designing complex networks of communicating proc...
متن کاملImplementing Modular and Reusable Aspect-Oriented Concurrency Control with AspectJ
The advent of information systems based on the World Wide Web increased the impact of concurrent programs. Such increase demands the definition of methods for obtaining safe and efficient implementations of concurrent programs, since the complexity of implementation and tests in concurrent environments is higher than in sequential environments. This paper presents a simple framework that helps ...
متن کاملA concurrency Mechanism for Sequential Eiffel
This paper describes a set of classes designed to facilitate concurrent programming using the sequential object-oriented language EIFFEL. The design and implementation presented here is the application of a more general Concurrency Model we have built to introduce concurrency to sequential OOPLs. The model views concurrency as a well-deened, inheritable property of objects speciied in the class...
متن کامل